Previous | 
Home
Section: New Software and Platforms
Ltac2
Keywords: Coq - Proof assistant
Functional Description: A replacement for Ltac, the tactic language of Coq.
Research Program
New Software and Platforms
New Results
Partnerships and Cooperations
Bibliography